Method for Generating a Diverse Set of Requirements for Safety-critical Systems
نویسندگان
چکیده
منابع مشابه
Requirements Management for Safety Critical Systems
A Requirement is a statement that identifies a product or operational, functional, or design characteristic or constraint, which is unambiguous, testable, or measurable and necessary for product or process acceptability. [3] Requirements Engineering is the branch of systems engineering which address the process of identifying and then monitoring the stakeholders needs and systems required funct...
متن کاملchannel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
Mandated Requirements for Hardware/Software Combination in Safety-Critical Systems
Safety-critical systems are an important subset of high-assurance systems. Higher performance requirements have led to the increased use of combined hardware/software systems therein, with hardware devices taking processing load off software. As might be expected, safety-critical systems have many requirements made of them by established standards. By implication, and now by emerging safety sta...
متن کاملA New Method for Generating Continuous Bivariate Distribution Families
Recently, it has been observed that a new method for generating continuous distributions, T - X family, can be quite effectively used to analyze the data in one dimension. The aim of this study is to generalize this method to two dimensional space so that the marginals would have T - X distributions. So, several examples and properties of this family have been presented. As ...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2014
ISSN: 1877-0509
DOI: 10.1016/j.procs.2014.03.057